A System for Automatically Generating Documentation for (C)LP Programs
نویسندگان
چکیده
منابع مشابه
A System for Automatically Generating Documentation for (C)LP Programs
We describe lpdoc , a tool which generates documentation manuals automatically from one or more logic program source files, written in ISO-Prolog, Ciao, and other (C)LP languages. It is particularly useful for documenting library modules, for which it automatically generates a rich description of the module interface. However, it can also be used quite successfully to document full applications...
متن کاملA Transformation System for Modular CLP Programs
We propose a transformation system for CLP programs and modules. The framework is inspired by the one of Tamaki and Sato for pure logic programs 19]. Here, the use of CLP allows us to introduce some new operations such as splitting and constraint replacement. We provide two sets of applicability conditions. The rst one guarantees that the original and the transformed programs have the same comp...
متن کاملHyperPro - An integrated documentation environment for CLP
The purpose of this paper is to present some functionalities of the HyperPro System. HyperPro is a hypertext tool which allows to develop Constraint Logic Programming (CLP) together with their documentation. The text editing part is not new and is based on the free software Thot. A HyperPro program is a Thot document written in a report style. The tool is designed for CLP but it can be adapted ...
متن کاملClp() for Automatically Proving Program Properties 1
Various proof methods have been proposed to solve the implication problem , i.e. proving that properties of the form : 8(P ! Q)-where P and Q denote conjunctions of atoms-are logical consequences of logic programs. Nonetheless, it is a commonplace to say that it is still quite a diicult problem. Besides, the advent of the constraint logic programming scheme constitutes not only a major step tow...
متن کاملA Powerful Evaluation Strategy For CLP Programs
This paper presents a new, powerful evaluation strategy (OLDTC-AM) for CLP programs. OLDTC-AM is developed by combining the OLDT evaluation strategy with a logical answer manipulation mechanism. Under the OLDTC-AM evaluation strategy, the termination characteristics of CLP programs are greatly improved and the expressive abilities of CLP languages are greatly increased. One application of this ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2000
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80663-2